widget: Remove gtk_widget_set_double_buffered()
authorBenjamin Otte <otte@redhat.com>
Mon, 10 Oct 2016 22:17:31 +0000 (00:17 +0200)
committerBenjamin Otte <otte@redhat.com>
Sun, 16 Oct 2016 16:18:58 +0000 (18:18 +0200)
commit4a95f8802c22971976dc50e8818af6256218a54d
tree0f19ad9cc7385023d156a3eed26f4ecbe262d7d8
parent36b7ad0cd2e5d99670a1d96fa3c163700991e8df
widget: Remove gtk_widget_set_double_buffered()

Everything is always double-buffered.
docs/reference/gtk/gtk4-sections.txt
gtk/gtkwidget.c
gtk/gtkwidget.h
gtk/gtkwidgetprivate.h